propagation of constraints

[计] 约束传播